Optimal. Leaf size=33 \[ \frac {1}{2} a A x^2+\frac {1}{4} (A b+a B) x^4+\frac {1}{6} b B x^6 \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.02, antiderivative size = 33, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 2, integrand size = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.125, Rules used = {455, 45}
\begin {gather*} \frac {1}{4} x^4 (a B+A b)+\frac {1}{2} a A x^2+\frac {1}{6} b B x^6 \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rule 455
Rubi steps
\begin {align*} \int x \left (a+b x^2\right ) \left (A+B x^2\right ) \, dx &=\frac {1}{2} \text {Subst}\left (\int (a+b x) (A+B x) \, dx,x,x^2\right )\\ &=\frac {1}{2} \text {Subst}\left (\int \left (a A+(A b+a B) x+b B x^2\right ) \, dx,x,x^2\right )\\ &=\frac {1}{2} a A x^2+\frac {1}{4} (A b+a B) x^4+\frac {1}{6} b B x^6\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 33, normalized size = 1.00 \begin {gather*} \frac {1}{2} a A x^2+\frac {1}{4} (A b+a B) x^4+\frac {1}{6} b B x^6 \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.05, size = 28, normalized size = 0.85
method | result | size |
default | \(\frac {a A \,x^{2}}{2}+\frac {\left (A b +B a \right ) x^{4}}{4}+\frac {b B \,x^{6}}{6}\) | \(28\) |
norman | \(\frac {b B \,x^{6}}{6}+\left (\frac {A b}{4}+\frac {B a}{4}\right ) x^{4}+\frac {a A \,x^{2}}{2}\) | \(29\) |
gosper | \(\frac {1}{6} b B \,x^{6}+\frac {1}{4} x^{4} A b +\frac {1}{4} x^{4} B a +\frac {1}{2} a A \,x^{2}\) | \(30\) |
risch | \(\frac {1}{6} b B \,x^{6}+\frac {1}{4} x^{4} A b +\frac {1}{4} x^{4} B a +\frac {1}{2} a A \,x^{2}\) | \(30\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.30, size = 27, normalized size = 0.82 \begin {gather*} \frac {1}{6} \, B b x^{6} + \frac {1}{4} \, {\left (B a + A b\right )} x^{4} + \frac {1}{2} \, A a x^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.88, size = 27, normalized size = 0.82 \begin {gather*} \frac {1}{6} \, B b x^{6} + \frac {1}{4} \, {\left (B a + A b\right )} x^{4} + \frac {1}{2} \, A a x^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.01, size = 29, normalized size = 0.88 \begin {gather*} \frac {A a x^{2}}{2} + \frac {B b x^{6}}{6} + x^{4} \left (\frac {A b}{4} + \frac {B a}{4}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.96, size = 29, normalized size = 0.88 \begin {gather*} \frac {1}{6} \, B b x^{6} + \frac {1}{4} \, B a x^{4} + \frac {1}{4} \, A b x^{4} + \frac {1}{2} \, A a x^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.02, size = 28, normalized size = 0.85 \begin {gather*} \frac {B\,b\,x^6}{6}+\left (\frac {A\,b}{4}+\frac {B\,a}{4}\right )\,x^4+\frac {A\,a\,x^2}{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________